1

Diagonalizations over polynomial time computable sets

Year:
1987
Language:
english
File:
PDF, 3.42 MB
english, 1987
2

A note on inconsistencies caused by fixpoints in a cartesian closed category

Year:
1990
Language:
english
File:
PDF, 845 KB
english, 1990